2

Specifying real-time properties with metric temporal logic

Année:
1990
Langue:
english
Fichier:
PDF, 2.29 MB
english, 1990